// 
// Copyright(c) 2009 Syntext, Inc. All Rights Reserved.
// Contact: info@syntext.com, http://www.syntext.com
// 
// This file is part of Syntext Serna XML Editor.
// 
// COMMERCIAL USAGE
// Licensees holding valid Syntext Serna commercial licenses may use this file
// in accordance with the Syntext Serna Commercial License Agreement provided
// with the software, or, alternatively, in accorance with the terms contained
// in a written agreement between you and Syntext, Inc.
// 
// GNU GENERAL PUBLIC LICENSE USAGE
// Alternatively, this file may be used under the terms of the GNU General 
// Public License versions 2.0 or 3.0 as published by the Free Software 
// Foundation and appearing in the file LICENSE.GPL included in the packaging 
// of this file. In addition, as a special exception, Syntext, Inc. gives you
// certain additional rights, which are described in the Syntext, Inc. GPL 
// Exception for Syntext Serna Free Edition, included in the file 
// GPL_EXCEPTION.txt in this package.
// 
// You should have received a copy of appropriate licenses along with this 
// package. If not, see <http://www.syntext.com/legal/>. If you are unsure
// which license is appropriate for your use, please contact the sales 
// department at sales@syntext.com.
// 
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
// 
/*! \file
 */
#ifndef XS_COMPLEX_FSMMATCHER__H_
#define XS_COMPLEX_FSMMATCHER__H_

#include "xs/xs_defs.h"
#include "xs/complex/Matcher.h"
#include "common/OwnerPtr.h"
#include "common/RefCntPtr.h"

XS_NAMESPACE_BEGIN

class Nfa;
class QnameToken;
class ContentToken;

class FsmMatcher : public Matcher {
public:
    virtual bool    exactMatch(Schema* s,
                               InputTokenSequence& iseq,
                               MatchState& ms) const;

    virtual void    listFirstElems(Common::PropertyNode* el,
                            const GROVE_NAMESPACE::Element* node = 0) const;
    virtual const XsElement*
                    getFirstElem(const GroveLib::ExpandedName& n) const;

    /////////////////

    class Alphabet;
    class DfaBuilder;
    class Dfa;
    class DfaState;
    class DfaTrans;
    class DfaPathGen;

    bool    match(Schema* s, InputTokenSequence& iseq, MatchState& ms,
                  const DfaState* startState = 0,
                  const DfaState** endState = 0) const;

    XS_EXPIMP void    nfa_dumpAsDot(const char* ofn);
    XS_EXPIMP void    dfa_dumpAsDot(const char* ofn);

    virtual ~FsmMatcher();
    FsmMatcher(Schema *s, Connector* top);

private:
    friend class Nfa;

    COMMON_NS::OwnerPtr<Alphabet> alphabet_;
    COMMON_NS::RefCntPtr<Nfa> nfa_;
    COMMON_NS::OwnerPtr<Dfa>  dfa_;
    Connector*     topConnector_;
};

XS_NAMESPACE_END

#endif // XS_COMPLEX_FSMMATCHER_H_
